On the Algebraic Derivation of Garbage Collectors
نویسنده
چکیده
We give an algebraic characterisation of reachability and non-reachability in modal Kleene algebras. By this we derive a general algorithm for garbage collectors and present some further algebraic optimisations. The given approach is fully expressible in first-order logic and hence provides an abstract and general framework for automated and machine-verified derivations of garbage collecting algorithms.
منابع مشابه
Implementing a Family of Distributed Garbage Collectors
This paper discusses implementations of distributed garbage collectors derived using a previously developed methodology which involves mappings of distributed termination detection algorithms (DTAs) to local garbage collection schemes. Implementations produced by such mappings preserve the safety and completeness properties of the original local collectors. Through our collector implementations...
متن کاملDistributed from The Derivation of Termination Detection Algorithms Garbage Collection Schemes
A b s t r a c t . It is shown that the termination detection problem for distributed computations can be modeled as an instance of the garbage collection problem. Consequently, algorithms for the termination detection problem are obtained by applying trausformations to garbage collection algorithms. The transformation can be applied to collectors of the "mark-and-sweep" type as well as to refer...
متن کاملFormal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specificatio...
متن کاملارزیابی عملکرد ریوی گروهی از پاکبانان شهرداری استان فارس در سال 1391
Background: Garbage collectors form a large group of municipal workers who have occupational exposure to different airborne contaminants. The aim of this study was to evaluate the respiratory health of a group of garbage collectors who were working in Fars province. Methods: This cross-sectional study was undertaken among a group of 105 garbage collectors and 93 referrent individuals. Subjects...
متن کاملDerivation and evaluation of concurrent collectors
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships between the algorithms, and has precluded systematic study and comparative evaluation. We present a single high-level, abstract concurrent garbage collection algorithm, and show how existing snapshot and incremental ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012